Sitzung vom 22. October 1883

Quarter Ending 31st October 1883

Washington University Record, October 22, 2004

Sydn ' ey , Australia 20 - 22 October 1997

In recent years, several new methods for the identification of approximate models of an open loop plant on the basis of closed loop d a b have been presented. In this paper, we extend such a method to the nonlinear case: we consider that both the plant and the controller can be nonlinear. The method that is considered is a two-step procedure, i.e. the sensitivity function of the dosed loop syst...

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Paul H. Patterson (October 22, 1943 - June 25, 2014).

Eminent Caltech neuroscientist, Paul H. Patterson, died on June 25, 2014 as a result of glioblastoma multiforme. He is survived by wife, Carolyn, and son, Paul Claire, both great sources of joy for him. Paul’s numerous personal and scientific contributions will long outlast his tenure in life. Being both an amazing scientist and human being, Paul influenced and inspired countless friends, colla...